58 ideas
| 1502 | Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides] |
| 14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| 449 | Being is not divisible, since it is all alike [Parmenides] |
| 448 | No necessity could produce Being either later or earlier, so it must exist absolutely or not at all [Parmenides] |
| 447 | Being must be eternal and uncreated, and hence it is timeless [Parmenides] |
| 445 | The realm of necessary non-existence cannot be explored, because it is unknowable [Parmenides] |
| 1503 | There is no such thing as nothing [Parmenides] |
| 21820 | Parmenides at least saw Being as the same as Nous, and separate from the sensed realm [Parmenides, by Plotinus] |
| 452 | All our concepts of change and permanence are just names, not the truth [Parmenides] |
| 1504 | Something must be unchanging to make recognition and knowledge possible [Aristotle on Parmenides] |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| 444 | The first way of enquiry involves necessary existence [Parmenides] |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| 12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |
| 450 | Necessity sets limits on being, in order to give it identity [Parmenides] |
| 13857 | Truth-functional possibilities include the irrelevant, which is a mistake [Edgington] |
| 14281 | A thing works like formal probability if all the options sum to 100% [Edgington] |
| 14284 | Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington] |
| 13853 | It is a mistake to think that conditionals are statements about how the world is [Edgington] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 14270 | Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington] |
| 14269 | Maybe forward-looking indicatives are best classed with the subjunctives [Edgington] |
| 14275 | Truth-function problems don't show up in mathematics [Edgington] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| 14274 | Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington] |
| 14276 | The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington] |
| 14290 | Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington] |
| 13855 | A conditional does not have truth conditions [Edgington] |
| 13859 | X believes 'if A, B' to the extent that A & B is more likely than A & ¬B [Edgington] |
| 14271 | Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington] |
| 14272 | I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington] |
| 13854 | Conditionals express what would be the outcome, given some supposition [Edgington] |
| 14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
| 14278 | Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington] |
| 14287 | Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington] |
| 451 | Thinking implies existence, because thinking depends on it [Parmenides] |
| 1506 | Parmenides treats perception and intellectual activity as the same [Theophrastus on Parmenides] |
| 3058 | Only reason can prove the truth of facts [Parmenides] |
| 555 | People who say that the cosmos is one forget that they must explain movement [Aristotle on Parmenides] |
| 226 | The one is without any kind of motion [Parmenides] |
| 5081 | There could be movement within one thing, as there is within water [Aristotle on Parmenides] |
| 1509 | The one can't be divisible, because if it was it could be infinitely divided down to nothing [Parmenides, by Simplicius] |
| 20900 | Defenders of the One say motion needs the void - but that is not part of Being [Parmenides, by Aristotle] |
| 1505 | Reason sees reality as one, the senses see it as many [Aristotle on Parmenides] |
| 453 | Reality is symmetrical and balanced, like a sphere, with no reason to be greater one way rather than another [Parmenides] |
| 1792 | He taught that there are two elements, fire the maker, and earth the matter [Parmenides, by Diog. Laertius] |
| 5115 | It is feeble-minded to look for explanations of everything being at rest [Aristotle on Parmenides] |
| 13217 | The void can't exist, and without the void there can't be movement or separation [Parmenides, by Aristotle] |
| 22918 | What could have triggered the beginning [of time and being]? [Parmenides] |
| 1794 | He was the first to discover the identity of the Morning and Evening Stars [Parmenides, by Diog. Laertius] |
| 1791 | He was the first person to say the earth is spherical [Parmenides, by Diog. Laertius] |